package ajsynchro;

importsymbol ajsynchro.AJSynchroMethod;

public syntaxclass AJSynchro {
	@grammar extends aspect_declaration {
		AJSynchro -> "synchronizer" t = name b = AJSynchroBody;
	}
	
	public static syntaxclass AJSynchroBody {
		@grammar /*extends aspect_body*/ using AJSynchroMethod {
			AJSynchroBody -> "{" a = {AJSynchroBodyMembers} "}";
			AJSynchroBodyMembers -> m = class_member_declaration
								| 
								  asm = AJSynchroMethod;
		}
	}

}